human-written theorem
Table 1 Performance of the relevance and substitution networks of the on validation data
Human Synthetic Generator Relevance Substitution T est proofs found proofs proofs T op-1 T op-5 T op-20 MRR Prob Accuracy (903 in total) 7125 0 - 43.27 69.57 We thank all reviewers for their thoughtful comments. Individual questions are addressed below. R1 -There is not that much novelty in the paper . We believe this is an important direction that worth more exploration in the AI/TP community.